//#define GPFCON (*(volatile unsigned long *)0x56000050)
//#define GPFDAT (*(volatile unsigned long *)0x56000054)

int main()
{
    unsigned int *GPFCON = (unsigned int *)0x56000050;
    unsigned int *GPFDAT = (unsigned int *)0x56000054;

    *GPFCON = 0x100;
    *GPFDAT = 0;

    return 0;
}